The key_type is alias'd as the type since it looked better than having typeof(T.key) everywhere.
See Implementation
The key_type is alias'd as the type since it looked better than having typeof(T.key) everywhere.